Functorial Representation Theorems for MVΔ Algebras with Additional Operators
نویسندگان
چکیده
منابع مشابه
Lambda Abstraction Algebras: Representation Theorems
Lambda abstraction algebras (LAAs) are designed to algebraize the untyped lambda calculus in the same way cylindric and polyadic algebras algebraize the first-order predicate logic. Like combinatory algebras they can be defined by true identities and thus form a variety in the sense of universal algebra, but they differ from combinatory algebras in several important respects. The most natural L...
متن کاملFunctorial Reconstruction Theorems for Stacks
We study the circumstances under which one can reconstruct a stack from its associated functor of isomorphism classes. This is possible surprisingly often: we show that many of the standard examples of moduli stacks are determined by their functors. Our methods seem to exhibit new anabelian-type phenomena, in the form of structures in the category of schemes that encode automorphism data in gro...
متن کاملFunctorial Semantics for Multi-algebras
Multi-algebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a functorial presentation of various categories of multi-algebras and partial algebras, analogous to the classical presentation of algebras over a signature as cartesian functors from the algebraic theory of , Th(), to Se...
متن کاملFunctorial semantics and HSP type theorems
We show that if C is the category of models for a theory in the sense of Linton over an arbitrary base category, then a full subcategory of C is closed under Homomorphic images that split in the underlying category, under M -Subobjects for a class M of monomorphisms and under Products if and only if it is an intersection of a nest of subcategories, each determined from the preceding by a class ...
متن کاملOn Monadic Quantale Algebras: Basic Properties and Representation Theorems
Motivated by the concept of quantifier (in the sense of P. Halmos) on different algebraic structures (Boolean algebras, Heyting algebras, MV-algebras, orthomodular lattices, bounded distributive lattices) and the resulting notion of monadic algebra, the paper introduces the concept of a monadic quantale algebra, considers its properties and provides several representation theorems for the new s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 2001
ISSN: 0021-8693
DOI: 10.1006/jabr.2000.8633